body, input, button, textarea, select, option {
    font-family: 'courier new'; font-size: 12px;
}

form, div { margin: 0; }

a { color: blue; }
a:link { color: blue; }
a:visited { color: blue; }
a:hover { color: red; }
a:active { color: green; }
a.selected { font-weight: bold; }

input.key, select, option { font-weight: bold; }

div.bd { margin: 1em 0; }

div.langs a { font-size: 20px; }

div.values { margin-top: 1em; }
div.values table { margin: 1em 0 1em 2em; }
div.values table tr td { vertical-align: top; }

div.novalues { margin: 1em 0 1em 2em; }

.indent { margin-left: 1em; }